منابع مشابه
Unité de recherche associée au CNRS n ° 1398 A note on the XRAM and PRAM models
In this paper we deal with the XRAMmodel introduced in We mainly show that the original de nition of the XRAMmodel was not consistent and must be slightly modi ed Therefore we modify the de nition of the XRAM model to make it consistent and we study the consequence of this modi cation on the complexity theory developed in the XRAM model The new model modi es in particular the de nition of a pro...
متن کاملUnité de recherche associée au CNRS n ° 1398 Evaluation of AutomaticParallelizationStrategies for HPF
In the data parallel programming style the user usually speciies the data parallelism explicitly so that the compiler can generate eecient code without enhanced analysis techniques. In some situations it is not possible to specify the parallelism explicitly or this might be not very convenient. This is especially true for loop nests with data dependences between the data of distributed dimensio...
متن کاملDmd050302 1398..1403
Wuzhi capsule (WZC) is a preparation of an ethanol herbal extract of Schisandra sphenanthera (Nan-Wuweizi), with its main active ingredients that include schisandrin, schizandrol B, schisantherin A, schisanhenol, and deoxyschizandrin. WZC and tacrolimus are often coadministered for the treatment of drug-induced hepatitis in organ transplant recipients in China. Recently, it was reported that WZ...
متن کاملThomas Genet , Francis Klay N ̊ ? ? ? ?
On a case study, we present a new approach for verifying cryptographic protocols, based on rewriting and on tree automata techniques. Protocols are operationally described using Term Rewriting Systems and the initial set of communication requests is described by a tree automaton. Starting from these two representations, we automatically compute an over-approximation of the set of exchanged mess...
متن کامل1392-1398 Rashedi 328
INTRODUCTION Protect the oil wells to increase their longevity is now one of the major oil-producing countries is difficult. Each year, an extraordinary global budget for research on EOR and MEOR (enhanced oil recovery methods) is allocated. In addition, the owners of these vessels extraordinary efforts to exploit new, lower cost, and highly efficient techniques. A new and promising way to incr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin de la Sabix
سال: 1997
ISSN: 2114-2130
DOI: 10.4000/sabix.831